Rust: Ownership

ある値を所有できる権利

参照を使えば他者に貸し出せる

参考

この本、説明の粒度がちょうどよくてわかりやすい

カニ本の方は詳細に踏み込みすぎて、知りたい抽象度より低めなんだよな

詳しく知りたい場合はそっちの方が良いが、初回に知るには逆にノイズが多い

コードを読んだ時に

どのタイミングでownershipが移動するのか

変数代入、match式、関数呼び出しなど

などがパッとわからないといけない？

owenershipが適用される対象は誰？

あらゆる値

v1前まではGCあったらしい

Rust は Web ブラウザのような高い性能が求められるアプリケーションの開発や、OSの記述を含むシステムプログラミングを念頭に置いて設計されました。1.0のリリース前はGCを行う言語でしたが、性能面の懸念から目標とする用途では受け入れられず設計が変更されました。その過程で所有権という概念が採用され、GCを取り除くことに成功しました。

発展

所有権の感じをvisualizationしてくれるらしい